Just when John was about to give up, he stumbled upon a forum post from a fellow engineer, mentioning a solenoid valve library for Proteus that they had created and were willing to share. The post included a link to a website where the library could be downloaded. John's heart skipped a beat as he clicked on the link and waited for the download to complete.