It really is quite difficult to just go out and buy correction ribbon
and typewriter ribbon of any hue in Dublin. Pens are difficult also,
the ones I like invariably cannot be got after a few weeks, so
I tend to buy the comfortable ones in batches.
I have not found a replacement for the stolen one yet 😦