The easiest way to do this would be to export the shapefile from the Available Vectors list to an ROI. Then the points can be exported to a text file from the ROI Tool, which will contain the map information of the point along with the data associated with the pixel. Will this work for you?