File Download would work well I think. The "9" wouldn't have any meaning though, like your suggestion does. FD9.net sounds ok. Would need the branding to give it real value. Maybe focus pricing, strategy or such on "9" somehow (i.e. "9 downloads just $9.99" -- I'm getting out there and it's not even my domain). The .com version is already for sale, which leaves an open slate anyway. Good $xx for all that?