As i wrote here:
… the IR receiver is available on aliexpress:
… but only as a 10-piece-package. You may find some online sellers, who will sell a single one – but most often those sellers want you to pay a ridiculous amount of money for the shipping. So 18 USD for 10 pieces seems like a fairly good deal. Simply sell 9 pieces for 2 bucks each on eBay (without shipping) and you made an incredibly good bargain 😉 .
And 12mm long hex spacers you can find on eBay: