I think you are right, it is also known as mexican mushroom and other names are stropharia cubensis, stropharia cyanascens or stropharia caerulescens.
I saw today that azarius started to sell fresh cubensis
http://www.azarius.net/productinfo.php?productmain=5&tabID=2&category=22
But...