Thanks.
I was just lucky to find one on a site for buying and selling used stuff. I was double lucky as I was permitted to borrow the display to check its compatibility. What I did was to open the chassis and check the maker and product number and compare to the ones listed by libreboot.
