They don't have to come at 5 o'clock, ...?

• have they?
• do they?
• haven't they?