Even though most of the Helpers methods are available there are a couple which aren't , but which are still valid.
In DB I often use DB::connection() to connect to another database connection than the default one. In Eloquent I also use User::lists() and User::orderBy(). Its not the end of the world if I can't get these hints working but I thought you might like to know.
Cheers.