dont think 7k is dreaming at all; i've seen some sheds sell for 4-5k so i would advertise it at 7k and see what happens, no harm in trying

advertise it on here would be a good start as well as pistonheads which is free