​" since that is the column's type​...a type you haven't defined for us.  If you get to add explicit casts this should be easy...but I'm not familiar with the framework you are using.

 

 

push_guid was a CHARACTER(36) column. I ended up converting it to CHARACTER VARYING(36).

Index is now being used and performance is as expected.

 

Thanks a lot

Meike