get header_image attachment id

Hi there,
I am wondering if there is an easy function call to get the id of the custom header image. The only functions I can see available are header_image and get_header_image, both of which return the url only.

If not, is the best way really to query the database by the url, such as is suggested in this thread?

Thanks for the help!