good point about repairs, I bought a belt kit and
this being available helped me decide
Complete xa5400es Laser Assembly
Knowing you could buy another used one if it breaks, still hard to beat it's sound, and a few around $1k each add up to far less than your budget.
I bought a spare remote control when 1 popped up with low price.