Assertion: spa hot tub | /r/HasProperty | serviced
Facets:
Source sentences:
text: Marquis uses its topside control error codes to indicate if there are any issues with the spa or hot tub that need to be serviced or replaced.