Yes, you are correct. I believe they have more than one old listing. There are actually more AWIN talkgroups than old frequencies. Sebastian Co has been freed up to create separate talkgroups for any of its users or services, many are unlisted and remain unidentified on RR.
There are frequencies listed on RR that have not been used for a decade. But until the license either is surrendered or expires, the FCC will continue to list them and they will stay in the database here.