I saw your post and hope I can help. As far as used awnings, sometimes they come up here but not that often. You could keep looking.
sells the Fiamma awning
which would be 8 ft for a 13, but it's around 975 bucks plus their mounting brackets. I personally am going to buy a 7 ft classic bag awning
from shademaker awnings. Around 190 dollars, but not the quality of a Fiamma I would expect. I've read about A &E, domestic trim line geez there's all sorts. Some folks here skip the awning and get a 10 by 10 or greater EZ up.
If you are interested in any more detail, I'm happy to help.