yeah its small in each Instructions. Cats repairing the device putting a whole new pump with new cooler because it was contaminated and flushing The entire technique gonna be near $10000 to repair Appears crazy but there gonna give me a 12 months warrenty free on the pump and anything at all they fastened! Is there a someplace you can buy pumps fro