The OP in the reddit thread said
At least he sees them as red. Of course we don’t know if the ebay LEDs are actually 730nm. I wonder who would have equipment to verify those…