wbdiff reservation

Hi wbdiff users,
Tomorrow, Thursday 8am-9:30am, I would like to use the bench for some special cleaning. In case you need to use the bench during this time, please let me know so I can shift the reservation accordingly.
Thanks!
Filip