Don't use Atarimania as an idea of what has or has not been dumped. Use the https://www.a8preservation.com/ site. It is much more up to date with what has been archived.
Since it's just 4-5 titles, can you list them here and we can tell you if they have been archived with the latest tools (Kyroflux-type) or not. Also I can help you figure out if they boxes, manuals, etc., have been archived.