Hi, I bought a house a few months ago, included was a hot tub - it is a Coast Spa and model is WSM 40, however I cannot seem to find anything online regarding this model of hot tub or a manual. We are not currently having any issues with it but would like to have the manual handy should we come across any. Any assistance would be appreciated. Thank you.