"Do you have a self-service terminal for 80-yuan boat tickets?"

The 80-yuan ticket is a tourist boat ticket that does not include self-service meals. The one with self-service meal options starts from 99 or 129 yuan.
80 yuan ferry ticket does not include self-service meals.
A ticket for 80 yuan is a tourist ship ticket, not including self-service meals. Those with self-service meal are from 99 to 129 yuan.
80 yuan cruise ticket does not include self-service meals.