I've been using TSOP7000, 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, but apparently that too is obsolete. Vishay page 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?