There is absolutely no doubt that a $250k piece of lab equipment came with a detailed service manual.

Providing eternal software updates and support is not the same as providing a service manual.