Are there student tickets available? Do I need to buy them at the dock?

I haven’t heard of it, I think it’s not the case.
There are student tickets. They can be purchased at the dock.
Not heard of it, I guess not.
There are student tickets. They can be purchased at the dock.