Hoe groot is de rookzone op stations?

Een conducteur wist me enige tijd geleden het volgende te melden.

Een man had een boete gekregen omdat hij niet bij een rookzuil stond te roken. De man vocht de boete aan en kreeg gelijk omdat niet duidelijk was hoe groot de rookzone eigenlijk is. De rechter had wel aangeven hoe groot de rookzone volgens haar/hem is.

De NS zou nu de zone met een cirkel aan gaan geven. Dat heb ik nog nergens gezien.

Mijn vraag is nu: weet iemand waar ik die gerechtelijke uitspraak kan vinden en hoe groot de rookzonevolgens de rechternu nog (zonder markering)is?