How can you buy coins?

There are cash registers and ATM’s on site where you can pay by card or cash.
Or purchase a service ticket in advance including 10 coins.