Also Ctrl+Shft+D does do something, it refreshes the cache in SQL Prompt, which is funny considering this is a Red-Gate site. Opportunity for a product plug there 🙂