I'd buy it and do a carbon fiber wrap repair. Some early "carbon" frames, such as Raleigh's top Technium mountain bike frame, used aluminum frame tubes wrapped with carbon fiber. Should be easy to do and comparatively inexpensive, and the top tube will be stronger than before the damage occurred.