B.
Unless, that is, you can find some way of converting the PS3 video output into a modulated DVB-T signal, because the only recording input to the HDR-1800T/HDR-2000T is the aerial input (except for the iPlayer and YouTube streams, which are buffered to disk but unaccessible).