Check the availability of a specific laptop model at the electronics store
Verify if a particular laptop model is available at the local electronics store.
The laptop model "TechBook Pro" is in stock at the electronics store, and the price is $999. Confirm this information with the user.