So, similar machines are in the 7,000-10,000 US$ range? I had thought they were far more expensive, I vaguely remember checking the costs for a "cleaning" lase

So, similar machines are in the 7,000-10,000 US$ range? I had thought they were far more expensive, I vaguely remember checking the costs for a "cleaning" laser only a few years ago (probably it was more powerful/better quality/etc.) but it was in the several tens of thousands.