広徳の湯、券売機。