Sorry, missed this comment. Thanks you! The domain was ~$120 USD, if I recall correctly. Still a lot for a domain, but not as much as I would have expected for a premium domain.