I've been using TSOP7000 (http://www.farnell.com/datasheets/492758.pdf), however, they seem to have become obsolete.
They are also a bit too big for my application, so I've been looking into SMD receivers, such as TSOP5700 (http://pdf1.alldatasheet.com/datasheet-pdf/view/94092/VISHAY/TSOP5700.html), but apparently that too is obsolete. Vishay page (http://www.vishay.com/ir-receiver-modules/) lists available IR receivers, but none are 455 kHz.
Farnell (which is my preferred place to buy) has only one 455 kHz receiver available, but it is a bit too big.
Mouser, has the first two listed as not available.
DigiKey doesn't have anything at 455 kHz.
Any suggestions on where else to look?