Floppy Disk Dispenser

In Edinburgh University Library. On the floor that hasn't been refurbished yet. I was tempted to try putting two 20 pence pieces in but didn't want to waste my money, or have to spend hours looking for it.