I just installed Armstrong CVT tiles on my basement floor. I read somewhere that these floor tiles can be polished. Do I rent an industrial floor waxer/polisher?