Thank you atl285!
That's good news, indeed. :)
To be honest, I also have longish boot times, but they are the same as what I used to have when I was using my previous boot drive, a SATA SanDisk Plus 480 SSD.
Out of curiosity, I ran the same code as you pasted (thanks, I did not know that...