I'll ask Tom as soon as he gets home from the park. We just bought a $300.00 carpet cleaner from Costco this week end. We do not use the shampoo that comes with it. He also got a product called 'brown out'. We just had ours done too. We have a great guy to clean ours if you need the name let me know. He doesn't charge an arm and a leg.
I'm so sorry to hear about Brock. I hope by now he is much better.
Katz