Over all the advice seems well thought out. However, I wonder how many bootstrapped startups spend more than 1K on a domain name. I realize that's not much for many, but for a student it's rather large.
Certainly I wish that I had some better names available to me for some projects of mine, but if I were to focus on the project first, I think the rest would follow. I look forward to the day when I can be incredibly frustrated at having to overpay to buy a better domain name - once I've already had some minimal success.