Grey here (wetspotcx on AB)
They aren't available right now from my suppliers. We just sold the cf lineatus dot line on the auction yesterday. Some say it is a naturally occurring hybrid with lineatus and pustulatus but O. Lucanus states that it is a geographical variant of lineatus.
We had two pustulatus at 6-10" in February but sold both at $400ea. If I get more, Ill email you.