Thread:TheDigger1/@comment-27109830-20171110200024/@comment-27109830-20171118193048

That's good to hear. :)

Ah, that's a pity.

Thanks! Also, was that pun intended?