I don't know of any other sources for the 373 laser, but $7,000 is about right
including labor and travel. The laser is about $4500 just for the head.
Depending on the zone charge $7,000 is about right. Trying to instal the laser
yourself can be tricky since you have to realign the mirrors. Also it is
important to get the liner depth correct after you put it in, or else the laser
is focused on the wrong area of the plates and you will get bad data.
(former abi service engineer)