Do you have the manual? If so what part number does it call out?
If you replace both the photo transistor and the LED transmitter at the same time the generic 940nm 5mm package ones I figure should be OK. I have used the 940nm ones as a generic replacement in many cases and it has worked.
Kind of weird they have them bent over like that. Maybe a side looking type of opto would be better.
since you are international eBay may be easiest. really cheap part
ebay.com link: itm