Ireland did not issue a 5 pence coin in 1980. You may be referring to the Irish five shilling coin, which typically trades between €0.10 and €1.00 depending on condition.
Wanderlust World