Was just thinking. Most points seem to go for around $10 per point which is a fair price. I know u said $7 reasonable for this time of year but, i am not sure the time of year will matter, as it costs less points to stay anywhere at lower times. Just a thought. Good luck - old key west is lovely.