Thank you! I did pay for them, but over a decade ago when I left the job at the heavily discounted employee rate. Then in 2021 they ended up getting bought out.
