Is the Header menu option available in all WordPress themes?
No, it's never available
Only if the current theme is configured to use this option
Yes, it's a standard feature in all themes
Only in premium themes