File:Ticket stub for Ross County vs Aberdeen 12 August 2017.jpg