Hello, there are not hole punches for this. You can look at the product images and see the hole punches in action (they will be outlined in red). I believe there are 11-12 of them.
Data at this level (availability / price) is not really something you want hole punched as it would affect performance (might as well not run the cache in that situation). With a caching solution you really need to decide how realtime the information needs to be. There are a few options:
1) Don’t worry about it. When the user adds the item to their cart they can be notified for the 1% of the time this happens. Items will auto-update as they expire from cache (by default 24 hours but you can set this to a few minutes or weeks depending on needs).
2) Flush the cache after every product change (the magento enterprise approach). If you information changes a lot this limits the usefulness of the cache
3) In order to avoid having to set a low cache expiration or to flush the cache after every change, you can use the Full Page Cache Crawler which will update your pages in intervals. This way some sections of your site can stay in cache for a long time (a day or more), but the main parts (product pages) will be updated ever X hours or however often you specify the crawler to run.