Hello everyone! Thesko and Hunter, thank you for your replies. I'm happy to report that I made it work with your help. Thank you!
Just to make sure I did all the right things, I basically started again with a fresh new install of Arduino. Also, I did not have the build option as "Internal 32KHz Oscillator".
As of yesterday, on my work laptop, even when the settings were correct and based on all the articles I read, the machine was not showing up as a port in Arduino, when it was on and in Bootloader Mode. I'm going to try to see if I can fix the other laptop and post back if I find a solution.
For now, I'm happy that at least we've got the machine back in one of our laptops and start coding.
Thanks again.