I'm not sure what petrology is but petrologyrocks.com is availbable at reg fee. Petrology.info is available for reg fee and that is probably a better name than petrology.rocks.
Even if the name was Petrology.com
I don't think that would sell for big money. It is a super small niche and there are not advertisements when you google it.