The polishing takes place by means of a diamond disc and can be used to re-polish the bed as and when necessary.